More from this Author
Found 4 books by Bernd Finkbeiner (Editor)
Fields of Logic and Computation II
by Lev D. Beklemishev (Editor), Andreas Blass (Editor), Nachum Dershowitz (Editor), Bernd Finkbeiner (Editor), Wolfram Schulte (Editor)
Runtime Verification
by Howard Barringer (Editor), Ylies Falcone (Editor), Bernd Finkbeiner (Editor)
Automated Technology for Verification and Analysis
by Bernd Finkbeiner (Editor), Geguang Pu (Editor), Lijun Zhang (Editor)
Fields of Logic and Computation II
by Lev D. Beklemishev (Editor), Andreas Blass (Editor), Nachum Dershowitz (Editor), Bernd Finkbeiner (Editor), Wolfram Schulte (Editor)